/*
 * WorkspaceDER.h
 *
 *  Created on: 28/04/2013
 *      Author: juan
 */

#ifndef WORKSPACEDER_H_
#define WORKSPACEDER_H_

#include "Workspace.h"
#include "gui/VisualComponents/VisualDERComponent.h"

class WorkspaceDER: public Workspace {
public:
    WorkspaceDER(Diagram* diagram, bool enableEvents = true);
    virtual ~WorkspaceDER();

    VisualDERComponent* getDERVisualComponent(Component* c) {
    	return dynamic_cast<VisualDERComponent *>(getVisualComponent(c));
    }

    void validateDiagram(std::string archivo);
    void on_load(XmlReader& reader, Tabs* tabs);
    void on_load(XmlReader& readerModel, XmlReader & readerRep, Tabs* tabs);
    void store(XmlWriter& writer_rep, XmlWriter& writer_comp);
    void store(XmlWriter& writer_rep, XmlWriter& writer_comp,std::string tabName);

};

#endif /* WORKSPACEDER_H_ */
